function debug ( str ) {
	if ( !str )
		document.getElementById('debug').innerHTML = "";
	else
		document.getElementById('debug').innerHTML += str + "<br/>\n";
}
